Modelling the Compost Parameters During Mechanized Aerobic Fermentation

The Utilization of Aqueous Compost Fermentation Extracts (“Compost Tea”) for the Suppression of Turfgrass Pathogens

Modelling the Oxygen Dissolution Rate during Oenological Fermentation

Parameters affecting ethyl ester production by Saccharomyces cerevisiae during fermentation.

Volatile esters are responsible for the fruity character of fermented beverages and thus constitute a vital group of aromatic compounds in beer and wine. Many fermentation parameters are known to affect volatile ester production. In order to obtain insight into the production of ethyl esters during fermentation, we investigated the influence of several fermentation variables. A higher level of ...

Microbiological parameters as indicators of compost maturity.

AIMS The objectives of this study were to determine the changes of microbial properties of pig manure collected from pens with different management strategies and composted using different turning and moisture regimes; relate their association with humification parameters and compost temperature; and identify the most suitable microbial indicators of compost maturity. METHODS AND RESULTS Six ...

HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler

It is difficult to write programs which are both correct and fast. A promising approach, functional programming, is based on the idea of using pure, mathematical functions to construct programs. With effort, it is possible to establish a connection between a specification written in a functional language, which has been proven correct, and a fast implementation, via program transformation. When...